Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points

نویسندگان

  • Jouni Järvinen
  • Michiro Kondo
  • Jari Kortelainen
چکیده

In this work, four modal-like operators on Boolean lattices are introduced and their theory is presented from lattice-theoretical, topological and algebraic point of view. It is also shown how rough set approximation operators, modal operators in temporal logic, and linguistic modifiers determined by L-sets can be interpreted as modal-like operators.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Games for Logic and Concurrency

4 Literature review 8 4.1 Modal and Temporal Logics . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2 Games for Modal and Temporal Logics . . . . . . . . . . . . . . . . . . . . 9 4.3 Models of Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.4 Games for Models of Concurrency . . . . . . . . . . . . . . . . . . . . . . 10 4.5 Lattices and Complete lattices . . ....

متن کامل

Lattices of Fixed Points of Fuzzy Galois Connections

We give a characterization of the fixed points and of the lattices of fixed points of fuzzy Galois connections. It is shown that fixed points are naturally interpreted as concepts in the sense of traditional logic.

متن کامل

Further Galois Connections between Semimodules over Idempotent Semirings

In [14] a generalisation of Formal Concept Analysis was introduced with data mining applications in mind, K-Formal Concept Analysis, where incidences take values in certain kinds of semirings, instead of the standard Boolean carrier set. The construction leading to the pair of dually (order) isomorphic lattices can be further manipulated to obtain the three other types of Galois Connections pro...

متن کامل

On basic conditions to generate multi-adjoint concept lattices via Galois connections

This paper introduces sufficient and necessary conditions with respect to the fuzzy operators considered in a multi-adjoint frame under which the standard combinations of multiadjoint sufficiency, possibility and necessity operators form (antitone or isotone) Galois connections. The underlying idea is to study the minimal algebraic requirements so that the concept-forming operators (defined usi...

متن کامل

Lattices for 3-Dimensional Fuzzy Data generated by Fuzzy Galois Connections

Vagueness and high dimensional space data are usual features of current data. The paper is an approach to identify conceptual structures among fuzzy three dimensional data sets in order to get conceptual hierarchy. We propose a fuzzy extension of the Galois connections that allows to demonstrate an isomorphism theorem between fuzzy sets closures which is the basis for generating lattices ordere...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 76  شماره 

صفحات  -

تاریخ انتشار 2007